PET

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 100
Property:live (prob-reach)
Invocation (default)
../PET-Tool/pet.sh reachability --precision 0.001 --relative-error --only-result -m rabin.100.prism -p rabin.100.props --property live
Execution
Walltime:124.38321280479431s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at parser.State.<init>(State.java:49)
	at parser.State.<init>(State.java:58)
	at simulator.ChoiceListFlexi.computeTarget(ChoiceListFlexi.java:217)
	at simulator.ModulesFileModelGenerator.computeTransitionTarget(ModulesFileModelGenerator.java:326)
	at de.tum.in.probmodels.generator.PrismGenerator$TransitionLazyIterator.next(PrismGenerator.java:100)
	at de.tum.in.probmodels.generator.PrismGenerator$TransitionLazyIterator.next(PrismGenerator.java:72)
	at java.base/java.lang.Iterable.forEach(Iterable.java:74)
	at de.tum.in.probmodels.generator.MdpGenerator.getChoices(MdpGenerator.java:32)
	at de.tum.in.probmodels.generator.PrismGenerator.choices(PrismGenerator.java:37)
	at de.tum.in.probmodels.generator.PrismGenerator.choices(PrismGenerator.java:14)
	at de.tum.in.probmodels.explorer.DefaultExplorer.exploreState(DefaultExplorer.java:56)
	at de.tum.in.pet.sampler.UnboundedSampler.explore(UnboundedSampler.java:252)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:188)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveMdp(ReachChecker.java:250)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:144)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)